- disjonction des procédures
- выделение дел
Dictionnaire de droit français-russe.
disjonction des procédures
Regardez d'autres dictionnaires:
disjonction — [ disʒɔ̃ksjɔ̃ ] n. f. • XIIIe; lat. disjunctio 1 ♦ Action de disjoindre (des idées); son résultat. ⇒ désunion, écartement, séparation. La disjonction de deux questions. Les procédés logiques, grammaticaux de disjonction (⇒ disjonctif) . 2 ♦… … Encyclopédie Universelle
Analyse constructive — L analyse constructive est une branche des mathématiques constructives. Elle critique l analyse mathématique classique et vise à fonder l analyse sur des principes constructifs. Elle s inscrit dans le courant de pensée constructiviste ou… … Wikipédia en Français
RÉCURSIVITÉ — Les (semi ) fonctions récursives ont été introduites pour donner un équivalent mathématique à la notion métamathématique intuitive de (semi ) fonction effectivement ou mécaniquement calculable (cf. LOGIQUE MATHÉMATIQUE, chap. 4). Par souci de… … Encyclopédie Universelle
NOTATION MATHÉMATIQUE — Pour connaître une langue naturelle, il n’est pas nécessaire d’en apprendre l’histoire ni, pour comprendre sa littérature, de faire l’étude historique de la grammaire et du vocabulaire. À cet égard, le langage mathématique, en raison de son… … Encyclopédie Universelle
DROITS DE L’HOMME — Il n’est aujourd’hui aucune organisation politique qui ne se prévale de son souci de réaliser les droits de l’homme. Longtemps limitée par les cadres nationaux, cette préoccupation s’est affirmée sur le plan international lorsque, le 10 décembre… … Encyclopédie Universelle
Gregor Mendel — Pour les articles homonymes, voir Mendel. Mendel Gregor Naissance … Wikipédia en Français
Théorème de cook — Le théorème de Cook est un théorème fondamental de la théorie de la complexité des algorithmes en théorie de l information. Il a été prouvé en 1971 par Stephen Cook dans un article intitulé The Complexity of Theorem Proving Procedures [1]. Il a… … Wikipédia en Français
Gregoire Mendel — Gregor Mendel Pour les articles homonymes, voir Mendel. Gregor Mendel Naiss … Wikipédia en Français
TECHNIQUE ET ART — La distinction entre art et technique n’est pas une donnée de nature. C’est un fait social: fait qui a valeur institutionnelle et dont l’événement dans l’histoire des idées est d’ailleurs relativement récent. C’est dire qu’on ne saurait non plus… … Encyclopédie Universelle
Droit romain — Le Corpus iuris civilis, aussi appelé Code Justinien, du nom de l empereur du VIe siècle, est tout autant une compilation de textes antérieurs, menacés d oubli et de disparition, qu un « code ». Par son caractère de compilation, il … Wikipédia en Français
PHILOSOPHIE — Nul ne se demande «pourquoi des mathématiciens?», dès lors que les mathématiques sont reconnues comme science. Mais «pourquoi des philosophes?» ne revient pas à la question beaucoup plus classique «pourquoi la philosophie?» à laquelle il est… … Encyclopédie Universelle
